Automatic Test Data Generation and Model Checking with CHR

机译：用CHR自动测试数据生成和模型检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We present an example for application of Constraint Handling Rules toautomated test data generation and model checking in verification of missioncritical software for satellite control.

机译：我们提供了一个示例，说明了在卫星控制关键任务软件验证中将约束处理规则应用于自动测试数据生成和模型检查的情况。

著录项

作者
Gerlich, Ralf;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic test case generation from Simulink/Stateflow models using model checking [J] . Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar§, Software Testing, Verification and Reliability . 2014,第2期

机译：使用模型检查从Simulink / Stateflow模型自动生成测试用例
2. Incremental test case generation using bounded model checking: an application to automatic rating [J] . Grzegorz Anielak, Grzegorz Jakacki, Slawomir Lasota International Journal on Software Tools for Technology Transfer . 2015,第3期

机译：使用有界模型检查生成增量测试用例：自动评估的应用程序
3. Scalable Satisfiability Checking And Test Data Generation From Modeling Diagrams [J] . Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian Automated software engineering . 2009,第1期

机译：通过建模图进行可扩展的满意度检查和测试数据生成
4. A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL [C] . Zhao Huiqun, Sun Jing, Liu Xiaodong 2012 IEEE Asia-Pacific Services Computing Conference. . 2012

机译：用于测试Web服务和BPEL的基于模型检查的自动测试套件生成方法
5. Using model checkers for automatic generation of VHDL test case with improved test coverage. [D] . Sankarasetty, Esa Sragvi. 2012

机译：使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。
6. Automatic validation of computational models using pseudo-3D spatio-temporal model checking [O] . Ovidiu Pârvu, David Gilbert 2014

机译：使用伪3D时空模型检查自动验证计算模型
7. Incremental test case generation using bounded model checking: an application to automatic rating [O] . 2015

机译：使用有界模型检查生成增量测试用例：自动评估的应用程序

Automatic Test Data Generation and Model Checking with CHR

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅